Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis

نویسندگان

  • Jane Hillston
  • Jeremy Pitt
  • Martin Wirsing
  • Franco Zambonelli
چکیده

This report documents the program and the outcomes of Dagstuhl Seminar 14512 “Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis”. Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms. (ii) Verification of collective adaptive systems. (iii) Humans-in-the-loop in collective adaptive systems. Seminar December 14–19, 2014 – http://www.dagstuhl.de/14512 1998 ACM Subject Classification C.2.4 Distributed Systems, D.2 Software Engineering, D.2.4 Software/Program Verification, H.1.2 User/Machine Systems

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Role of Individual and Collective Components on the Formation of Social Trust in Secondary High School Students

Purpose: The aim of this study was to investigate the role of individual and collective components on the formation of social trust in high school students. Methodology: The present study was applied in terms of purpose and mixed in terms of implementation method (qualitative and quantitative). The research population was in the qualitative part of experts, experts and specialists in the field...

متن کامل

From behavioural analyses to models of collective motion in fish schools.

Fish schooling is a phenomenon of long-lasting interest in ethology and ecology, widely spread across taxa and ecological contexts, and has attracted much interest from statistical physics and theoretical biology as a case of self-organized behaviour. One topic of intense interest is the search of specific behavioural mechanisms at stake at the individual level and from which the school propert...

متن کامل

Quantitative Abstractions for Collective Adaptive Systems

Collective adaptive systems (CAS) consist of a large number of possibly heterogeneous entities evolving according to local interactions that may operate across multiple scales in time and space. The adaptation to changes in the environment, as well as the highly dispersed decision-making process, often leads to emergent behaviour that cannot be understood by simply analysing the objectives, pro...

متن کامل

Modelling and Analysis of Collective Adaptive Systems with CARMA and its Tools

Collective Adaptive Systems (CAS) are heterogeneous collections of autonomous task-oriented systems that cooperate on common goals forming a collective system. This class of systems is typically composed of a huge number of interacting agents that dynamically adjust and combine their behaviour to achieve specific goals. This chapter presents CARMA, a language recently defined to support specifi...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015